- Geometry Theorem Prover
- File extension: GTP
Универсальный русско-английский словарь. Академик.ру. 2011.
Geometry Theorem Prover
Смотреть что такое "Geometry Theorem Prover" в других словарях:
List of interactive geometry software — Interactive geometry software (IGS, or dynamic geometry environments, DGEs) are computer programs which allow one to create and then manipulate geometric constructions, primarily in plane geometry. In most IGS, one starts construction by putting… … Wikipedia
History of artificial intelligence — The history of artificial intelligence begins in antiquity with myths, stories and rumors of artificial beings endowed with intelligence and consciousness by master craftsmen. In the middle of the 20th century, a handful of scientists began to… … Wikipedia
Principaux projets et realisations en intelligence artificielle — Principaux projets et réalisations en intelligence artificielle Cette liste indique les principaux projets et réalisations marquants dans le domaine de l’intelligence artificielle. La quasi totalité de ces travaux ont été accomplis aux États Unis … Wikipédia en Français
Semantic Information Retrieval — Principaux projets et réalisations en intelligence artificielle Cette liste indique les principaux projets et réalisations marquants dans le domaine de l’intelligence artificielle. La quasi totalité de ces travaux ont été accomplis aux États Unis … Wikipédia en Français
Nathaniel Rochester (computer scientist) — See also: Nathaniel Rochester Nathaniel Rochester Born January 14, 1919 Died June 8, 2001 Persondata Name Rochester, Nathaniel … Wikipedia
Principaux projets et réalisations en intelligence artificielle — Cette liste indique les principaux projets et réalisations marquants dans le domaine de l’intelligence artificielle. La quasi totalité de ces travaux ont été accomplis aux États Unis, et il est à noter que nombre d’entre eux ont été financés par… … Wikipédia en Français
GTP — biomed. abbr. Guanoine Triphosphate abbr. GPRS Tunnel Protocol (GPRS, Mobile Systems) comp. abbr. Geometry Theorem Prover … United dictionary of abbreviations and acronyms
List of mathematical logic topics — Clicking on related changes shows a list of most recent edits of articles to which this page links. This page links to itself in order that recent changes to this page will also be included in related changes. This is a list of mathematical logic … Wikipedia
List of mathematics articles (S) — NOTOC S S duality S matrix S plane S transform S unit S.O.S. Mathematics SA subgroup Saccheri quadrilateral Sacks spiral Sacred geometry Saddle node bifurcation Saddle point Saddle surface Sadleirian Professor of Pure Mathematics Safe prime Safe… … Wikipedia
Mohammad Kaykobad — Born 1 May 1954 (1954 05 01) (age 57) Manikganj, Bangladesh Fields Computer Science … Wikipedia
Parity of zero — Zero objects, divided into two equal groups Zero is an even number. In other words, its parity the quality of an integer being even or odd is even. Zero fits the definition of even number : it is an integer multiple of 2, namely 0 × 2. As a… … Wikipedia
